1
Geometría de los Cuatro Espacios Fundamentales
MATH004Lesson 4
00:00
Los cuatro espacios fundamentales de cualquier matriz $A \in \mathbb{R}^{m \times n}$ no existen de forma aislada; están geométricamente vinculados como pares de complementos ortogonales. Esta "arquitectura ortogonal" es el prerequisito para resolver sistemas inconsistentes mediante proyecciones y mínimos cuadrados. Establecemos que el espacio fila $C(A^T)$ es perfectamente perpendicular al espacio nulo $N(A)$ en $\mathbb{R}^n$, mientras que el espacio columna $C(A)$ es perpendicular al espacio nulo izquierdo $N(A^T)$ en $\mathbb{R}^m$.

Definiciones y Ortogonalidad

Para entender la estructura de una matriz, debemos definir primero qué significa que dos subespacios sean perpendiculares. Es una condición mucho más estricta que la ortogonalidad simple entre vectores.

  • Ortogonalidad de Subespacios: Dos subespacios $V$ y $W$ de un espacio vectorial son ortogonales si cada vector $v$ en $V$ es perpendicular a cada vector $w$ en $W$. Formalmente: $v^T w = 0$ para todo $v \in V$ y todo $w \in W$.
  • El Complemento Ortogonal ($V^\perp$): El complemento ortogonal de un subespacio $V$ contiene cada vector que es perpendicular a $V$. Se denota como $V^\perp$ (pronunciado "V perp").

El Teorema Fundamental de la Ortogonalidad

La identidad central del álgebra lineal conecta la acción de la matriz con la geometría de sus espacios:

Demostración del Espacio Fila

Si $x$ está en el espacio nulo $N(A)$, entonces $Ax = 0$. Esto significa que el producto punto de cada fila de $A$ con $x$ es cero. Dado que el espacio fila $C(A^T)$ está generado por esas filas, todo vector en el espacio fila debe ser perpendicular a $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Esto conduce al hermoso equilibrio de dimensiones. En $\mathbb{R}^n$, las dimensiones siempre se complementan: $\dim(C(A^T)) + \dim(N(A)) = n$. De manera similar, en $\mathbb{R}^m$, tenemos $\dim(C(A)) + \dim(N(A^T)) = m$.

El Alternativo de Fredholm

Existe una dualidad estructural donde exactamente uno de estos problemas tiene solución:

  1. $Ax = b$: El vector $b$ está en el espacio columna.
  2. $A^T y = 0$ con $y^T b = 1$: $b$ tiene una componente en el espacio nulo izquierdo, lo que hace que el sistema sea inconsistente.
🎯 El Error: Dos Paredes
Dos paredes en una habitación parecen perpendiculares, ¡pero NO son subespacios ortogonales! Ambas comparten la línea de encuentro. Dado que un vector sobre esa línea no es perpendicular a sí mismo ($v^T v \neq 0$), la definición estricta falla. Dos planos en $\mathbb{R}^3$ nunca pueden ser subespacios ortogonales.